Reasoning with Non-Atomic Memories
نویسندگان
چکیده
A method for reasoning with non-atomic memory is developed. A program using non-atomic memory is transformed into an equivalent one that uses atomic memory. A number of non-atomic memories including pipelined RAM , causal memory, and hybrid consistency are examined. The approach is illustrated with some examples.
منابع مشابه
In situ determination of Zeeman content of collective atomic memories
Knowledge and control of atomic Zeeman populations is necessary for the realization of useful, long-lived quantum memories. We propose and implement a method to determine atomic state population distributions for atomic spin waves. Zeeman composition of single atomic spin waves of a cold atomic gas, confined in a one-dimensional optical lattice, is inferred with high precision by measurements o...
متن کاملMarek A . Bednarczyk Explicit Substitution into Action A non - monotone logic for reasoning about actions and change Nr 942 Warszawa , February 2002
A logic LP σ for reasoning about change is presented. The logic, an extension of the logic of predicates with equalitu, is based on the idea that explicit substitutions can be seen as atomic formulae describing basic change of the state of a system. The logic is substructural: non-monotone and non-commutative. Its Platonic, i.e., predicate part is governed by the additive connectives, while the...
متن کاملQuantum interference of electromagnetic fields from remote quantum memories.
We observe quantum, Hong-Ou-Mandel, interference of fields produced by two remote atomic memories. High-visibility interference is obtained by utilizing the finite atomic memory time in four-photon delayed coincidence measurements. Interference of fields from remote atomic memories is a crucial element in protocols for scalable entanglement distribution.
متن کاملPriming analogical reasoning with false memories
Like true memories, false memories are capable of priming answers to insight-based problems. Recent research has attempted to extend this paradigm to more advanced problem-solving tasks, including those involving verbal analogical reasoning. However, these experiments are constrained inasmuch as problem solutions could be generated via spreading activation mechanisms (much like false memories t...
متن کاملFormal Reasoning About Non-atomic Java Card Methods in Dynamic Logic
We present an extension to JAVA CARD Dynamic Logic, a program logic for reasoning about JAVA CARD programs, to handle JAVA CARD’s so-called non-atomic methods. Although JAVA CARD DL already supports the atomic transaction mechanism of JAVA CARD, non-atomic methods present an additional challenge: state updates triggered by such a non-atomic method are not subjected to any transaction that may p...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1993